atoms{-}distinct(${\it tab}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$, $j$:$\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$${\it tab}$$\parallel$ }}$. st{-}atom(${\it tab}$;$i$) $=$ st{-}atom(${\it tab}$;$j$) $\Rightarrow$ $i$ $=$ $j$